Automated Deduction in Geometry: Second International Workshop, ADG’98 Beijing, China, August 1–3, 1998 Proceedings
Author: Xiao-Shan Gao, Dongming Wang, Lu Yang
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-66672-1
DOI: 10.1007/3-540-47997-X
Table of Contents:
- Automatic Geometry Theorem-Proving and Automatic Geometry Problem-Solving
- Solving Geometric Problems with Real Quantifier Elimination
- Automated Discovering and Proving for Geometric Inequalities
- Proving Newton’s Propositio Kepleriana Using Geometry and Nonstandard Analysis in Isabelle
- Readable Machine Solving in Geometry and ICAI Software MSG
- Plane Euclidean Reasoning
- A Clifford Algebraic Method for Geometric Reasoning
- Clifford Term Rewriting for Geometric Reasoning in 3D
- Some Applications of Clifford Algebra to Geometries
- Decomposing Algebraic Varieties
- An Application of Automatic Theorem Proving in Computer Vision
- Automated Geometry Diagram Construction and Engineering Geometry
- A 2D Geometric Constraint Solver for Parametric Design Using Graph Analysis and Reduction
- Variant Geometry Analysis and Synthesis in Mechanical CAD
Includes bibliographical references and index
Live Music Archive
Librivox Free Audio
Metropolitan Museum
Cleveland Museum of Art
Internet Arcade
Console Living Room
Books to Borrow
Open Library
TV News
Understanding 9/11
